Revision: tla-tools--dne--0--patch-4
Archive: dne@mayonnaise.net--2004
Creator: Daniel Neri <dne@mayonnaise.net>
Date: Sun Feb 22 23:41:01 CET 2004
Standard-date: 2004-02-22 22:41:01 GMT
Modified-files: Makefile.in configure hdr.shpp
    tla-tools-funs.awk
New-patches: dne@mayonnaise.net--2004/tla-tools--dne--0--patch-4
Summary: configurable UUID generator program name
Keywords: 

The UUIDGEN environment variable can be used to define an alternative
UUID generator program (defaults to `uuidgen').
